more on this theme     |     more from this thinker     |     more from this text


Single Idea 10898

[filed under theme 5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic ]

Full Idea

The semantic pattern of a first-order language is the ways in which truth values depend on which individuals instantiate the properties and relations which figure in them. ..So we pair a truth value with each combination of individuals, sets etc.

Gist of Idea

The semantics shows how truth values depend on instantiations of properties and relations

Source

José L. Zalabardo (Introduction to the Theory of Logic [2000], §3.3)

Book Ref

Zalabardo,José L.: 'Introduction to the Theory of Logic' [Westview 2000], p.90


A Reaction

So truth reduces to a combination of 'instantiations', which is rather like 'satisfaction'.